Signed-off-by: Alex Williamson <alex.williamson@hp.com>
platform_cpu_init();
#ifdef CONFIG_XEN
/* Need to be moved into platform_cpu_init later */
- if (is_running_on_xen())
+ if (is_running_on_xen()) {
+ extern void xen_smp_intr_init(void);
xen_smp_intr_init();
+ }
#endif
pm_idle = default_idle;
}
extern void xen_set_rr(unsigned long index, unsigned long val);
extern unsigned long xen_get_rr(unsigned long index);
extern void xen_set_kr(unsigned long index, unsigned long val);
+extern void xen_ptcga(unsigned long addr, unsigned long size);
/* Note: It may look wrong to test for is_running_on_xen() in each case.
* However regnum is always a constant so, as written, the compiler